Result verification, code verification and computation of support values in phylogenetics
نویسندگان
چکیده
منابع مشابه
Result verification, code verification and computation of support values in phylogenetics
Verification in phylogenetics represents an extremely difficult subject. Phylogenetic analysis deals with the reconstruction of evolutionary histories of species, and as long as mankind is not able to travel in time, it will not be possible to verify deep evolutionary histories reconstructed with modern computational methods. Here, we focus on two more tangible issues that are related to verifi...
متن کاملDesign and formal verification of DZMBE+
In this paper, a new broadcast encryption scheme is presented based on threshold secret sharing and secure multiparty computation. This scheme is maintained to be dynamic in that a broadcaster can broadcast a message to any of the dynamic groups of users in the system and it is also fair in the sense that no cheater is able to gain an unfair advantage over other users. Another important feature...
متن کاملVerification of compiled code
Compilers can introduce serious errors into programs whose source code appears to be correct. Modern compilers are reliable tools but we must resign ourselves to the fact that mistakes will be made by the compiler and we must therefore minimise the risk that those errors go unchecked. Previous attempts at showing the correctness of compilation have either sought to verify the compiler itself or...
متن کاملExtensible Code Verification
Popular language-based security mechanisms for software systems are based on verifiers that enforce a fixed and trusted type system. We live in a multi-lingual world and no system is written entirely in a single strongly-typed language. Rather than seek the absolute most general type system, we propose a sound framework for customizing the mechanism (e.g., a type system or an explicit safety pr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Briefings in Bioinformatics
سال: 2011
ISSN: 1467-5463,1477-4054
DOI: 10.1093/bib/bbq079